(LAP ORLIS SUBR) 
       (PUSH P 1) 
       (PUSH P 2) 
       (JUMPE 2 TAG2) 
       (HLRZ@ 1 2) 
       (CALLF@ 1 -1 P) 
       (JUMPN 1 TAG1) 
       (HRRZ@ 2 0 P) 
       (MOVE 1 -1 P) 
       (CALL 2 (E ORLIS) S) 
       (JUMPN 1 TAG1) 
 TAG2  (TDZA 1 1) 
 TAG1  (MOVEI 1 (QUOTE T) S) 
       (SUB P (C 2 0 2 0)) 
       (POPJ P) 
       NIL 

(LAP ANDLIS SUBR) 
       (PUSH P 1) 
       (PUSH P 2) 
       (JUMPE 2 TAG1) 
       (HLRZ@ 1 2) 
       (CALLF@ 1 -1 P) 
       (JUMPE 1 TAG5) 
       (HRRZ@ 2 0 P) 
       (MOVE 1 -1 P) 
       (CALL 2 (E ANDLIS) S) 
       (JUMPN 1 TAG1) 
 TAG5  (TDZA 1 1) 
 TAG1  (MOVEI 1 (QUOTE T) S) 
       (SUB P (C 2 0 2 0)) 
       (POPJ P) 
       NIL 

(LAP MAPCAR2 SUBR) 
       (PUSH P 1) 
       (PUSH P 2) 
       (PUSH P 3) 
       (MOVE 1 2) 
       (JUMPE 1 TAG1) 
       (HLRZ@ 2 0 P) 
       (HLRZ@ 1 -1 P) 
       (CALLF@ 2 -2 P) 
       (HRRZ@ 3 0 P) 
       (HRRZ@ 2 -1 P) 
       (PUSH P 1) 
       (MOVE 1 -3 P) 
       (CALL 3 (E MAPCAR2) S) 
       (POP P 2) 
       (CALL 2 (E XCONS) S) 
 TAG1  (SUB P (C 3 0 3 0)) 
       (POPJ P) 
       NIL 

(LAP MAPCHOOSE SUBR) 
       (PUSH P 1) 
       (PUSH P 2) 
       (PUSH P 3) 
       (MOVE 1 3) 
       (JUMPE 1 TAG1) 
       (HLRZ@ 1 1) 
       (CALLF@ 1 -2 P) 
       (JUMPE 1 TAG2) 
       (HLRZ@ 1 0 P) 
       (CALLF@ 1 -1 P) 
       (HRRZ@ 3 0 P) 
       (MOVE 2 -1 P) 
       (PUSH P 1) 
       (MOVE 1 -3 P) 
       (CALL 3 (E MAPCHOOSE) S) 
       (POP P 2) 
       (CALL 2 (E XCONS) S) 
       (JRST 0 TAG1) 
 TAG2  (HRRZ@ 3 0 P) 
       (MOVE 2 -1 P) 
       (MOVE 1 -2 P) 
       (CALL 3 (E MAPCHOOSE) S) 
 TAG1  (SUB P (C 3 0 3 0)) 
       (POPJ P) 
       NIL